Llistar Títols per Autor "Kirchweger, Markus"
S'ha trobat un ítem:
| Format | Data | Títol | Autor |
|---|---|---|---|
| Format | Data | Títol | Autor |
|
3 setembre 2024 | Computing small Rainbow Cycle Numbers with SAT modulo Symmetries | Kirchweger, Markus ; Szeider, Stefan |
